COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Course Number
C00004 ENDMK
C⊗;
Course Number
Carolyn,

This is the course description of the course that Hewitt will be teaching  
next Autumn here at Stanford.  I will get back to you soon with a proposed
number for it, unless you can tell me what the right number is by looking
over the abtstract below.  Thanks.
Doug



Course: Concurrent Systems
Lecturer: Professor Carl Hewitt
Organization:  Will meet once a week for an hour and a half

Technologies for concurrent systems including
multiplexing processors, multiprocessor network systems,
and distributed systems.  Issues of load balancing, migration, and
automatic real-time storage reclamation.  Introduction to actors and
their fundamental properties.  Message-passing based programming
languages.  Use of parallelism in semantic networks and pattern-directed
rule-based systems.  Application to knowledge-based AI systems and
to workstation prototypes.  Axiomatic and power domain models.
Comparison of related models of concurrent systems including Petri Nets,
Communicating Sequential Processes, and flow algebras.
Impact of VLSI on concurrent systems.